Return to the first step when the constraint is resolved